standard

adj 1: conforming to or constituting a standard of measurement or

value; or of the usual or regularized or accepted

kind; "windows of standard width"; "standard sizes";

"the standard fixtures"; "standard brands"; "standard

operating procedure" [ant: {nonstandard}]

2: commonly used or supplied; "standard procedure"; "standard

car equipment"

3: established or widely recognized as a model of authority or

excellence; "a standard reference work" [ant: {nonstandard}]

4: (linguistics) conforming to the established language usage

of educated native speakers; "standard English"

(American); "received standard English is sometimes called

the King's English" (British) [syn: {received}] [ant: {nonstandard}]

5: regularly and widely used or sold; "a standard size"; "a

stock item" [syn: {stock}]

n 1: a basis for comparison; a reference point against which

other things can be evaluated; "they set the measure for

all subsequent work" [syn: {criterion}, {measure}, {touchstone}]

2: the ideal in terms of which something can be judged; "they

live by the standards of their community" [syn: {criterion}]

3: a board measure ◦ 1980 board feet

4: the value behind the money in a monetary system [syn: {monetary

standard}]

5: an upright pole (especially one used as a support)

6: any distinctive flag

Standard ML

(SML) Originally an attempt by Robin Milner

ca. 1984 to unify the dialects of

{ML}, SML has evolved into a robust general-purpose language.

Later versions have been maintained by D. B. MacQueen

, Lal George ,

AJ. H. Reppy and A. W. Appel

.

SML is {functional}, with {imperative} features. It is

environment based and {strict}. It adds to ML the

{call-by-pattern} of {Hope}, {recursive data type}s,

{reference type}s, typed {exception}s, and {module}s. (The

"core" language excludes the modules).

Standard ML is {polymorphic}ally typed and its module system

supports flexible yet secure large-scale programming.

{Standard ML of New Jersey} is an optimising {native-code

compiler} for Standard ML that is written in Standard ML. It

runs on a wide range of architectures. The distribution also

contains: an extensive library - The Standard ML of New Jersey

Library, including detailed documentation; {Concurrent ML}

(CML); {eXene} - an elegant interface to {X11} (based on

{CML}); {SourceGroup} - a {separate compilation} and "{make}"

facility.

Implementations: {SML/NJ}, {POPLOG ML}, {Poly/ML}, {Edinburgh

SML}, {ANU ML}, {Micro ML}, {lazy sml2c}.

{sml2c} compiles to {C}. See also {ML Kit}.

Version 0.93 runs on {68000}, {SPARC}, {MIPS}, {HPPA},

{RS/6000}, {Intel 386}, {Intel 486} and {Macintosh}.

{Manual

(http://www.dcs.napier.ac.uk/course-notes/sml/manual.html)}.

{FTP from ATT (ftp://research.att.com/dist/ml/)}.

{FTP from Suny SB (ftp://sbcs.sunysb.edu/)}.

Mailing list: sml-request◊cs.cmu.edu.

["A Proposal for Standard ML", R. Milner, ACM Symp on LISP and

Functional Prog 1984, pp. 184-197].

(1995-12-24)